Integration of sin 3 x cos 4 x